Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi

Source URL: www.prismmodelchecker.org

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi

Source URL: qav.comlab.ox.ac.uk

• Markov processes
• Game theory
• Strategy
• Stochastic game
• Markov decision process
• Probability and statistics
• Probability
• Computability theory

Symbolic Music Genre Transfer with CycleGAN Gino Brunner, Yuyi Wang, Roger Wattenhofer and Sumu Zhao* Department of Information Technology and Electrical Engineering ETH Z¨urich Switzerland brunnegi,yuwang,wattenhofer,s

Source URL: www.tik.ee.ethz.ch

• Music
• Computer music
• Learning
• Artificial intelligence
• Unsupervised learning
• Machine learning
• Cognitive science
• Generative adversarial network
• Generative model
• Artificial neural network
• Synthesizer
• Algorithmic composition

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi

Source URL: rjoshi.org

• Logic
• Mathematical logic
• Theoretical computer science
• FO
• Finite model theory
• Predicate transformer semantics
• Model theory
• Substitution

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) First International Competition on Runtime Verification Rules, Benchmarks, Tools, and Final Results of CRV 2014 Ezio Bartocci1 , Yli`

Source URL: julien.signoles.free.fr

• Computing
• Software engineering
• Computer programming
• Functional languages
• Program analysis
• Data types
• Programming languages
• Object-oriented programming languages
• ANSI/ISO C Specification Language
• Runtime verification
• Benchmark
• KeY

IUGS Commission on Geoscience Education, Training & Technology Transfer (COGE) The international geoscience textbook (by Chris King, IUGS-COGE Chair) When the International Geoscience Education Organisation (IGEO - affil

Source URL: iugs.org

Guide to Resources in E-BANKING SCOPE Electronic banking: known as electronic fund transfer (EFT), uses computer and electronic technology as a substitute for checks and other paper transactions. EFTs are initiated throu

Source URL: libwebserver.uob.edu.bh

Technology Transfer Mechanisms at LBNL Agreement Cooperative Research and Development

Source URL: ipo.lbl.gov

IGNITE Technology Transfer Office IGNITE TECHNOLOGY Biomedical Science and Engineering

Source URL: tto.nuigalway.ie